subset-equational language

子集方程式語言